Formula Fracas

Fractal Fracas

Natural Solution to FraCaS Entailment Problems

Reasoning over several premises is not a common feature of RTE systems as it usually requires deep semantic analysis. On the other hand, FraCaS is a collection of entailment problems consisting of multiple premises and covering semantically challenging phenomena. We employ the tableau theorem prover for natural language to solve the FraCaS problems in a natural way. The expressiveness of a type...

Friedreich's Ataxia, Frataxin, PIP5K1B: Echo of a Distant Fracas

"Frataxin fracas" were the words used when referring to the frataxin-encoding gene (FXN) burst in as a motive to disqualify an alternative candidate gene, PIP5K1B, as an actor in Friedreich's ataxia (FRDA) (Campuzano et al., 1996; Cossee et al., 1997; Carvajal et al., 1996). The instrumental role in the disease of large triplet expansions in the first intron of FXN has been thereafter fully con...

FRACAS: A Computerized Aid for Reasoning in Tax

Problem solving in the tax domain requires two kinds of knowledge: of the law itself and of how the law has been applied in the past. The need for the second factor arises as a result of the ambiguity of natural language. The problem solver requires information on how the courts have adjudicated specific cases in the past. This information would then provide the basis for reasoning about the cu...

Formula Layout Formula Layout

Both the quality of the results of TEX s formula layout algorithm and the complexity of its description in the TEXbook are hard to beat The algorithm is verbally described as an imperative program with very complex control ow and complicated manipulations of the data structures representing formulae In a forthcoming textbook we describe TEX s formula layout algorithm as a functional program tra...